1. Lamport Algorithm Using Colored Petri Net with the Aim of Evaluating and Increasing Fault Tolerancy-Modeling Chandy

پدیدآورنده :

کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

موضوع : Formal Method, Asynchronous Distributed System, Verification, Model Checking, Global State, Distributed Snapshot, Fault tolerancy,روش صوری ، سیستم توزیع غیر همزمان ، تأیید ، بررسی مدل ، حالت کلی ، تصویر گیری توزیع شده ، تحمل خطا